Самая большая электронная библиотека рунета. Поиск книг и журналов
#2
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
#7
Image Analysis: 16th Scandinavian Conference, SCIA 2009, Oslo, Norway, June 15-18, Proceedings (Lecture Notes in Computer Science Image Processing, ... Vision, Pattern Recognition, and Graphics)
Arnt-Borre Salberg, Jon Yngve Hardeberg, Robert Jenssen
#8
Digital Mammography: 10th International Workshop, IWDM 2010, Girona, Catalonia, Spain, June 16-18, 2010. Proceedings (Lecture Notes in Computer ... Vision, Pattern Recognition, and Graphics)
Joan Martí, Arnau Oliver, Jordi Freixenet, Robert Martí
#9
Agent and Multi-Agent Systems: Technologies and Applications: Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009, ... Lecture Notes in Artificial Intelligence)
Anne Hakansson, Ngoc Thanh Nguyen, Ronald Hartung, Robert J. Howlett, Lakhmi C. Jain
#21
Taking Measure of Charter Schools: Better Assessments, Better Policymaking, Better Schools (New Frontiers in Education)
Julian R. Betts, Paul T. Hill, June Ahn, Larry Angel, Dominic J. Brewer, Laura S. Hamilton, Jeffrey R. Henig, Robin J. Lake, Patrick J. McEwan, Robert B. Olsen, Lydia Rainey, Brian M. Stecher, Y Emily Tang, Andrew C. Zau
#24
Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
|